Le principe du tiers exclu [Aristote] pose que de deux propositions contradictoires l'une est ncessairement vraie, l'autre ncessairement fausse ; elles ne peuvent tre vraies toutes les deux la fois, ni fausses toutes les deux la fois. Ou encore, de deux propositions contradictoires on peut accepter l'une au plus, on doit accepter l'une au moins.